Algorithmic Computation of Local Cohomology Modules and the Cohomological Dimension of Algebraic Varieties
نویسنده
چکیده
In this paper we present algorithms that compute certain local cohomology modules associated to a ring of polynomials containing the rational numbers. In particular we are able to compute the local cohomological dimension of algebraic varieties in characteristic zero.
منابع مشابه
UPPER BOUNDS FOR FINITENESS OF GENERALIZED LOCAL COHOMOLOGY MODULES
Let $R$ be a commutative Noetherian ring with non-zero identity and $fa$ an ideal of $R$. Let $M$ be a finite $R$--module of finite projective dimension and $N$ an arbitrary finite $R$--module. We characterize the membership of the generalized local cohomology modules $lc^{i}_{fa}(M,N)$ in certain Serre subcategories of the category of modules from upper bounds. We define and study the properti...
متن کاملANNIHILATOR OF LOCAL COHOMOLOGY MODULES UNDER THE RING EXTENSION R⊂R[X]
Let R be a commutative Noetherian ring, I an ideal of R and M a non-zero R-module. In this paper we calculate the extension of annihilator of local cohomology modules H^t_I(M), t≥0, under the ring extension R⊂R[X] (resp. R⊂R[[X]]). By using this extension we will present some of the faithfulness conditions of local cohomology modules, and show that if the Lynch's conjecture, i...
متن کاملTOP LOCAL COHOMOLOGY AND TOP FORMAL LOCAL COHOMOLOGY MODULES WITH SPECIFIED ATTACHED PRIMES
Let (R,m) be a Noetherian local ring, M be a finitely generated R-module of dimension n and a be an ideal of R. In this paper, generalizing the main results of Dibaei and Jafari [3] and Rezaei [8], we will show that if T is a subset of AsshR M, then there exists an ideal a of R such that AttR Hna (M)=T. As an application, we give some relationships between top local cohomology modules and top f...
متن کاملOn the Associated Primes of the generalized $d$-Local Cohomology Modules
The first part of the paper is concerned to relationship between the sets of associated primes of the generalized $d$-local cohomology modules and the ordinary generalized local cohomology modules. Assume that $R$ is a commutative Noetherian local ring, $M$ and $N$ are finitely generated $R$-modules and $d, t$ are two integers. We prove that $Ass H^t_d(M,N)=bigcup_{Iin Phi} Ass H^t_I(M,N)...
متن کاملON THE VANISHING OF DERIVED LOCAL HOMOLOGY MODULES
Let $R$ be a commutative Noetherian ring, $fa$ anideal of $R$ and $mathcal{D}(R)$ denote the derived category of$R$-modules. For any homologically bounded complex $X$, we conjecture that$sup {bf L}Lambda^{fa}(X)leq$ mag$_RX$. We prove thisin several cases. This generalize the main result of Hatamkhani and Divaani-Aazar cite{HD} for complexes.
متن کامل